Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
161	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-07-12 08:18:06 Automated theorem proving Formal methods Theoretical computer science Proof theory Logic in computer science Mathematical proof Proof assistant Isabelle Theorem Proof Formal verification
162	FORMAL VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS WITH AUTOMATED REASONING Add to Reading List Source URL: etheses.bham.ac.uk Language: English - Date: 2011-07-19 12:38:55
163	The SeaHorn Verification Framework (Invited Talk) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University USA Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2015-02-17 18:28:20 Software testing Formal methods Software verification Logic in computer science
164	Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-12-23 10:16:22 Software engineering Programming language theory Theoretical computer science C++ Logic in computer science Proof assistants Data types SHA-2 Formal verification Separation logic Coq Functional programming
165	Formal verification of a C compiler front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA RocquencourtLe Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2010-05-06 09:13:37
166	Translation Validation for a Verified OS Kernel Thomas Sewell Magnus Myreen Gerwin Klein Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-09-23 09:29:29 Software engineering Theoretical computer science Computing Logic in computer science Subroutines Formal methods Formal verification Decompiler Calling convention Isabelle Separation logic Satisfiability modulo theories
167	Implementing a Verified On-Disk Hash Table Stephanie Wang Abstract As more and more software is written every day, so too are bugs. Software verification is a way of using formal Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2015-06-14 19:45:36
168	Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:36 Software Theoretical computer science Formal methods Automated theorem proving Logic in computer science Proof assistants Formal verification Automated reasoning KeY Prover9 Frama-C First-order logic
169	Program Logics for Certified Compilers Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2013-05-31 14:00:42 Theoretical computer science Logic in computer science Formal methods Mathematical logic Automated theorem proving Substructural logic Formal verification Compiler correctness Separation logic Correctness Semantics Hoare logic
170	Automatic verification of privacy properties in the applied pi calculus? St´ephanie Delaune, Mark Ryan, and Ben Smyth Abstract We develop a formal method verification technique for cryptographic protocols. We focus on p Add to Reading List Source URL: bensmyth.com Language: English - Date: 2012-05-24 07:24:42

UPDATE